Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
261	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
262	Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2013-03-28 13:13:45 Computational linguistics Grammar Semantics Formal languages Natural language parsing Dependency grammar Parsing Argument Natural language processing Semantic role labeling Word-sense disambiguation Free variables and bound variables
263	Microsoft Word - The universAAL Primer - Basic.docx Add to Reading List Source URL: depot.universaal.org Language: English - Date: 2013-11-22 10:40:57 Semantic Web Ontology Information science Technical communication Systems engineering Middleware Web Ontology Language Business process management Upper ontology Formal ontology
264	From top-level to domain ontologies: Ecosystem classifications as a case study Thomas Bittner Department of Philosophy, Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences Nati Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-07-26 11:19:26 Ontology Information science Knowledge representation Technical communication Upper ontology First-order logic Binary relation Formal ontology Web Ontology Language Structure Mereology Ring
265	Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:17:20 Formal methods Theoretical computer science Logic in computer science Systems engineering Formal verification Specification Formal specification Verification Simulink Device driver synthesis and verification
266	MSc in Data Science The Science Faculty at UCT will offer an interdisciplinary degree in Data Science fromParticipating departments are Statistical Sciences, Computer Science, Astronomy, Physics, and the Bioinform Add to Reading List Source URL: www.cbio.uct.ac.za Language: English - Date: 2016-07-25 05:23:06 Formal sciences Data Bioinformatics Statistics Big data Data science Data mining Scientific modelling Data analysis Computer science Artificial neural network Bayesian network
267	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
268	Microsoft Word - D4.5_20150731.docx Add to Reading List Source URL: www.semantichealthnet.eu Language: English - Date: 2015-08-11 03:02:53 Ontology Information science Knowledge representation Technical communication Semantic Web SNOMED CT Formal ontology Systematized Nomenclature of Medicine Web Ontology Language Semantic interoperability OBO Foundry Dipak Kalra
269	Aesthetic Integration Limited  1 Fore Street London, EC2Y 9DT  United Kingdom March 16th, 2016 Add to Reading List Source URL: aestheticintegration.com Language: English Theoretical computer science Formal methods Financial markets Logic in computer science Algorithmic trading Formal verification Algorithm Verification
270	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application

UPDATE